首页> 外文OA文献 >Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms

【2h】

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms

机译：网络的自动形式化分析：任意拓扑的FDR模型和流量控制机制

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
G.M. Reed; D.M. Jackson; Jn Reed; B. Deianov;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automated Handling of Arbitrary Switching Device Topologies in Planning Contingency Analysis: Towards Temporal Interoperability in Network Security Assessment [J] . Grijalva S., Roy A. Power Systems, IEEE Transactions on . 2013,第2期

机译：规划应变分析中的自动交换设备拓扑结构的自动处理：网络安全评估中的时间互操作性
2. Automated Dynamic Modeling of Arbitrary Hybrid and Electric Drivetrain Topologies [J] . Wilco van Harselaar, Theo Hofman, Markus Brouwer IEEE Transactions on Vehicular Technology . 2018,第8期

机译：任意混合动力和电动传动系统拓扑的自动动态建模
3. Channel Modeling for Indoor Broadband Power-Line Communications Networks With Arbitrary Topologies by Taking Adjacent Nodes Into Account [J] . Shin J., Lee J., Jeong J. Power Delivery, IEEE Transactions on . 2011,第3期

机译：通过考虑相邻节点，对具有任意拓扑的室内宽带电力线通信网络进行信道建模
4. Automated Formal Analysis of Networks: FDR Mdoes of Arbitrary Topologies and Flow-Control Mechanisms [C] . JN Reed, DM Jackson, B.Deiano, Fundamental approaches to software engineering . 1998

机译：网络的自动形式分析：FDR Mdoes的任意拓扑和流控制机制
5. Constrained Task Assignment and Scheduling On Networks of Arbitrary Topology. [D] . Jackson, Justin Patrick. 2012

机译：任意拓扑网络上的受限任务分配和调度。
6. Automated QuantMap for rapid quantitative molecular network topology analysis [O] . Wesley Schaal, Ulf Hammerling, Mats G. Gustafsson, -1

机译：自动QuantMap用于快速定量分子网络拓扑分析
7. Integrated formal modeling and automated analysis of computer network attacks [O] . Rothmaier Gerrit 2007

机译：集成形式模型和计算机网络攻击的自动分析
8. FORMAL REPRESENTATION OF PROTOCOLS FDR COMPUTER NETWORKS [R] . R. E. Rusbridge, A. Langsford 1974

机译：议定书FDR计算机网络的正式表示

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms

著录项

引文网络

相似文献

相关主题

期刊订阅